mu . bimap id mu . alpha = mu . bimap mu id